منابع مشابه
Object Closure Conversion
An integral part of implementing functional languages is closure conversion—the process of converting code with free variables into closed code and auxiliary data structures. Closure conversion has been extensively studied in this context, but also arises in languages with first-class objects. In fact, one variant of Java’s inner classes are an example of objects that need to be closure convert...
متن کاملFlow-Directed Lightweight Closure Conversion
This paper presents a lightweight closure-conversion method that is driven by the results of wholeprogram interprocedural flow, reachability, points-to, and escape analyses. The method has been implemented and evaluated as part of a complete Scheme compiler. When compared with a baseline closure-conversion method that does no optimization, as well as conventional closureconversion methods that ...
متن کاملClosure Under Alpha - Conversion ? ? ? Randy
ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and right components, and check that they match appropriately. Lets use the algorithm to compute a type for a = [x: ][x: ]x. FAILURE: no rule applies because x 2 Dom (x: ) x: ; x: valid x: ; x: ` x : ? x: ` [x: ]x : ! ? ` [x: ][x: ]x : ! !? (1) This system fails to derive th...
متن کاملCombining Closure Conversion with Closure Analysis using Algebraic Types
We have developed a new approach to typed closure conversion of higher-order monomorphic languages which also provides a useful uniform framework for closure analysis and subsequent optimization. The approach is based on representing closures as ordinary algebraic data constructors, grouped into algebraic datatypes according to source type; no special type system is needed. Closure applications...
متن کاملEfficient Closure Conversion in Lang F
Higher-order programming languages treat functions as first class values, in that functions are treated the same as other values. This treatment allows functions to be passed as arguments to and returned from other functions, leading to the notion of “higher-order functions,” that is, those that take functions as parameters or return functions as values. Many functional programming idioms rely ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80283-x